On relating functional specifications to architectural specifications: A case study
نویسندگان
چکیده
منابع مشابه
On relating functional specifications to architectural specifications: A case study
Software architecture specifications are predominantly concerned with describing thecomponent structure of systems and how the components interact behaviorally. Littleattention has been paid to formally relating those specifications to higher levels of speci-fication, such as the system requirements. In this paper we present our progress towardaddressing an instance of this prob...
متن کاملOn Relating Functional Specifications to Architectural Specifications: A Case Study ; CU-CS-933-02
Software architecture specifications are predominantly concerned with describing thecomponent structure of systems and how the components interact behaviorally. Littleattention has been paid to formally relating those specifications to higher levels of speci-fication, such as the system requirements. In this paper we present our progress towardaddressing an instance of this prob...
متن کاملDirections in Architectural Specifications
A. Expressive. Only naturally, coherent specifications must be based on an appropriate set of underlying abstractions [2]. The commonly accepted ontology (originally set forth in [1] and later developed in [3]) primarily consists of components, which are loci of data and computations, and connectors, which are means for transferring data and control between components. In the case of object-ori...
متن کاملDeriving Architecture Specifications from KAOS Specifications: A Research Case Study
The most difficult step in the design process of a system is clearly the transition from the requirements to the architecture. Requirements obtained from the various stakeholders must be transformed into an architecture that can be understood by developers. The power plant system we use in this study was derived from [1, 2]. We first created a goal-oriented requirements specification from the i...
متن کاملFrom Requirements to Specifications: A Case Study
Formal software verification is concerned with the correctness of programs with respect to some specification. Although there exist examples of the usage of program verification tools and methods for large enterprises, the benefits remain inaccessible to most software developers and companies, because the usage of formal methods incorporates high entry costs: Expensive experts have to be employ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2006
ISSN: 0167-6423
DOI: 10.1016/j.scico.2005.04.003